1. Predicate calculus and program semantics
پدیدآورنده : Dijkstra, Edsger Wybe
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
